1. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
پدیدآورنده : Thomas Ball, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2648